Back Formale Semantik ALS علم الدلالة الشكلي Arabic Sémantika programovacích jazyků Czech Семантика (программăлани) CV Formale Semantik German Τυπική σημασιολογία των γλωσσών προγραμματισμού Greek Semantics (computer science) English Semántica de lenguajes de programación Spanish معنیشناسی (علوم رایانه) Persian Sémantique des langages de programmation French
 | Bu məqaləni vikiləşdirmək lazımdır. |
Semantika (ing. semantics, rus. семантика, türk. anlambilim) — proqramlaşdırmada, eləcə də təbii dildə: sözlər, yaxud simvollar ilə onların təyin olunmuş mənaları arasında əlaqə. Dəqiq və adətən məhdud mənaları olan sözlərə əsaslanan proqramlaşdırma dilləri müəyyən semantik qaydalardan asılı olur. Beləliklə, proqramda deyim düzgün tərtib olunmuşsa, ancaq onun mənası yoxdursa, semantik yanlışlıq yaranır. Məsələn,
linesTillPageEnd = numElephants * massSun
(səhifənin sonunadək sətirlərin sayı = fillərin sayı * Günəşin kütləsi)
deyimi sintaktik cəhətdən düzgündür, ancaq semantika baxımından mənasızdır. Semantik yanlışlıqlar proqramın düzgün işləməməsinə səbəb olsalar da, yanlışlıqlara nəzərət altproqramları çox zaman onlar haqqında məlumat vermir. Konseptual səviyyədə semantika süni intellektin tədqiqat sahələrindən biridir. Məsələn, insanlar arasındakı münasibətlər kimi, obyektlər, ideyalar, yaxud situasiyalar arasındakı qarşılıqlı əlaqələr də semantik şəbəkələr vasitəsilə göstərilir.